#include <xdc/runtime/System.h>
#include "package/internal/App.xdc.h"

Int App_main( Int argc, Char* argv[] )
{
    Int i;
    UInt32 dt;

    dt = App_BusyWait_getFreqHz();

    System_printf("hz = %ld\n", dt);

    for (i = 0; i < 10; i++) {
        App_BusyWait_wait(dt);
        System_printf("i = %d\n", i);
    }

    return 0;
}
